<?php
function destroy(){
  session_destroy();
  header("location:login.php");
}
?>